design verification engineer microsoft